Information Systems / Design Support / Facility Management / Portfolio Management / Spatio-Temporal Databases / XML Schema / Database Design / Conceptual Model / Personnel Management / Data Semantics / Boolean Satisfiability / Semantic model / Proof of Concept / XML Schema / Database Design / Conceptual Model / Personnel Management / Data Semantics / Boolean Satisfiability / Semantic model / Proof of Concept